$button-default-base-color: #2a3142 !default;
$button-default-border-color: darken($button-default-base-color, 4%) !default;
$button-default-base-color-over: $orange !default;
$button-default-border-color-over: darken($orange, 15%) !default;
$button-default-base-color-pressed: #da7b19 !default;
$button-default-border-color-pressed: darken($button-default-base-color-pressed, 15%) !default;
$button-default-color: #fff !default;
$button-toolbar-border-color: $button-default-border-color !default;
$button-toolbar-border-color-over: $button-default-border-color-over !default;
$button-toolbar-border-color-pressed: $button-default-border-color-pressed !default;
$button-toolbar-background-color: $button-default-base-color !default;
$button-toolbar-background-color-over: $button-default-base-color-over !default;
$button-toolbar-background-color-pressed: $button-default-base-color-pressed !default;
$button-toolbar-color: $button-default-color !default;
$button-default-border-color-focus: $orange !default;
$button-toolbar-border-color-focus: $orange !default;
